1. Generating Hardware Assertion Checkers
پدیدآورنده : \ Marc Boulé, Zeljko Zilic
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Very large scale integration -- Computer-aided design. ,Integrated circuits -- Verification. ,مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طراحی به کمک کامپیوتر,مدارهای مجتمع -- راستیآزمایی
رده :
E-Book
,